propositional constant

命题常数